Nuprl Definition : rng_eq
13,42
postcript
pdf
=
== (
r
.2).1
latex
clarification:
=
r
== (
r
.2).1
latex
Up
rng
sig
object
directory
Wellformedness Lemmas
rng
eq
wf
Definitions
t
.1
,
t
.2
origin
== (r.2).1
r == (r.2).1 == (r.2).1
r == (r.2).1